constraint equation